181. Software Engineering -- ESEC '95 :
Author: edited by Wilhelm Schäfer, Pere Botella.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Software engineering.
182. Software Engineering and Environment :
Author: by Phillip C.-Y. Sheu.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Object-oriented programming (Computer science),Software engineering.
183. Software Engineering with Computational Intelligence
Author: edited by Taghi M. Khoshgoftaar.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Software engineering.
184. Software Service and Application Engineering
Author: edited by Maritta Heisel
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks,Computer science,Logic design,Software engineering,Computation by Abstract Devices,Computer Communication Networks,Computer Science,Information Systems Applications (incl. Internet),Logics and Meanings of Programs,Software Engineering
185. Software engineering and formal methods :
Author: Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses.,Software engineering, Congresses.
Classification :
QA76
.
758
.
I58
2011
186. Software engineering education :
Author: Jorge L. Diaz-Herrera (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Software engineering -- Study and teaching (Higher),Software engineering -- Study and teaching (Higher) -- Congresses.
187. Specification of Software Systems
Author: by V.S. Alagar, K. Periyasamy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
9
.
F67
B987
1998
188. Starting Out with Programming Logic and Design
Author: / Tony Gaddis
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
189. Static Analysis :
Author: edited by Baudouin Charlier.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
190. Static Analysis :
Author: by Patrick Cousot, Moreno Falaschi, Gilberto File.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
191. System Analysis and Modeling: About Models
Author: edited by Frank Alexander Kraemer, Peter Herrmann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks.,Computer science.,Information storage and retrieval systems.,Logic design.,Software engineering.
192. TAPSOFT '95:
Author: edited by Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
193. Tests and Proofs
Author: edited by Achim D. Brucker, Jacques Julliand
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science,Computer simulation,Logic design,Software engineering,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Simulation and Modeling,Software Engineering
194. The Fallacy of Inscrutability
Author: Kroll, Joshua A
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
195. The handbook of software for engineers and scientists /
Author: editor-in-chief, Paul W. Ross.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software.,Engineering-- Data processing.,Science-- Data processing.,Computer software.,COMPUTERS / Programming Languages / JavaScript,Engineering-- Data processing.,Science-- Data processing.
Classification :
QA76
.
754
.
H35
2018eb
196. The site reliability workbook :
Author: edited by Betsy Beyer [and 4 others].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering.,Information technology-- Management.,Reliability (Engineering),BUSINESS & ECONOMICS-- Industrial Management.,BUSINESS & ECONOMICS-- Management Science.,BUSINESS & ECONOMICS-- Management.,BUSINESS & ECONOMICS-- Organizational Behavior.,Computer engineering.,Information technology-- Management.,Reliability (Engineering)
Classification :
T58
.
64
197. Theorem Proving in Higher Order Logics :
Author: edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Joakim Wright, Jim Grundy, John Harrison.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
198. Theoretical aspects of computing -- ICTAC 2018 :
Author: Bernd Fischer, Tarmo Uustalu (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
L63
199. Theory and Practice of Model Transformations :
Author: edited by Keith Duddy, Gerti Kappel.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
76
.
D47
E358
2013
200. Theory and Practice of Model Transformations
Author: edited by Zhenjiang Hu, Juan Lara
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks,Computer science,Logic design,Software engineering,Computer Communication Networks,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Languages, Compilers, Interpreters,Software Engineering
